Indexical translation of tail-recursive functions
نویسندگان
چکیده
We show that a very general form of Lucid (and RLucid) tail-recursive function can be transformed into an indexical equivalent. We show also that the standard indexical translations of the wvr and upon functions can be considered to be particular cases of the general situation. We give full proofs of the results, taking advantage of the clean semantics of Lucid.
منابع مشابه
The Intersemiotic Study of Translation from Page to Stage: The Farsi Translation of Macbeth for Stage Adaptation from the Perspective of Peirceʼs Model
Intersemiotic translation, which can happen in the process of the translation of drama for theatre, can turn more complicated when the verbal sign system of drama has already undergone interlingual translation. The purpose of this study is to find the intersemiotic changes of translation from page to stage and to show the changes of indexical, iconic, and symbolic signs in the process of inters...
متن کاملConversion to tail recursion in term rewriting
Tail recursive functions are a special kind of recursive functions where the last action in their body is the recursive call. Tail recursion is important for a number of reasons (e.g., they are usually more efficient). In this article, we introduce an automatic transformation of first-order functions into tail recursive form. Functions are defined using a (first-order) term rewrite system. We p...
متن کاملThe SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot andDe Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative designof the model including thread spawning and recursive definitions and we exploresome basic properties of the revised model: determinism, reactivity, CPS translationto a tail recursive form, computational expressivity, and a compo...
متن کاملSociophonetic Markers Facilitate Translation Priming: Maori English GOAT â•fi A Different Kind of Animal
This study investigates whether socio-indexical labelling operates under a shared or a separate system across the two languages of a bilingual talker-listener. We argue for a shared system, showing that L1 indexical labels interact with L2 indexical labels during speech perception. In particular, we investigate the effect of ethnic dialect on bilingual speech processing by using a novel cross-l...
متن کاملA New One-Pass Transformation into Monadic Normal Form
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time.
متن کامل